Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts a...(展开全部)

Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts a...(展开全部)

A revised, updated edition of S. I. Hayakawas classic work on semantics. He discusses the role of language, its many functions, and how language shapes our thinking. Introduction by Robert MacNeil; Index.

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller t...(展开全部)

Containing all the information and analysis needed to understand the British system of Government and politics, "Mastering British Politics" is an essential text. This fifth edition has been fully revised and updated to reflect the results of and developments since the 2005 General Election. With helpful reading lists and website addresses throughout the book, it also offers qu...(展开全部)

With an analytical and rigorous approach to problem solving and programming techniques, this book is oriented toward engineering. "Structure and Interpretation of Computer Programs" emphasizes the central role played by different approaches to dealing with time in computational models. Its unique approach makes it appropriate for an introduction to computer science courses, as ...(展开全部)